<?php
interface Configuration {
	public function getProperties($name);
	public function setProperties($name, $value);
}
?>